semantics of programming language

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。

The formal semantics of programming languages can provide concise and precise language definition. It helps people not only to understand well the language, but also to standardization of language.

程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。

Formal specification languages Z and Object-Z have used to describe the semantics of programming language.

形式化规范语言Z和Object-Z已经用于描述程序语言语义。

Research and Verification on the Operational Semantics Model of DFL Programming Language

动态模糊逻辑程序设计语言的操作语义模型及验证

The Declarative Semantics of Logic Programming Language G(?) del

逻辑程序设计语言G（？）del的说明性语义

Denotational semantics of distributed programming language

分布式程序设计语言的指称语义

Programming today is less about learning the syntax and semantics of a programming language, such as Java, than about learning the APIs and capabilities of libraries for that language.

今天的编程已不仅仅是学习编程语言的语法和语义，比如Java，我们并不是学习其API及类库的能力。

Syntax and semantics of intelligent agent programming language IAPL

智能Agent程序设计语言IAPL

Giving an operational semantics model of DFL programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it;

提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型，并对该模型的正确性和可靠性进行了证明；

An operational semantics model of DFL programming language was proposed with a ternary array and then some basic data types and several mechanisms of constructing new data types were defined;

通过一个三元组给出了DFL程序设计语言的操作语义模型；